[nom] Ensemble mathématique muni d’une relation d’ordre partielle, c’est-à-dire non totale.
Si l`ensemble est fini, on dispose d`une représentation graphique de l`ensemble partiellement ordonné, le diagramme de Hasse, ce qui peut permettre de travailler plus aisément dessus. Si l`ensemble est infini, on peut dessiner une partie de son diagramme de Hasse.